Berre, Daniel Le: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Analysis of the Synergistic Effect of Carbonylplatinum Complexes on the Iridium-Catalysed Carbonylation of Methanol to Acetic Acid

Samuel Gautron, Nicolas Lassauque, Carole Le Berre, Philippe Serp, Laurent Azam, Roberto Giordano, Gábor Laurenczy, Daniel Thiébaut, Philippe Kalck

Journal:

European Journal of Inorganic Chemistry

Year:

2006

Language:

english

File:

PDF, 130 KB

english, 2006

2

Qualitative choice logic

Gerhard Brewka, Salem Benferhat, Daniel Le Berre

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 370 KB

english, 2004

3

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || MCS Extraction with Sublinear Oracle Queries

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 806 KB

english, 2016

4

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || Learning Rate Based Branching Heuristic for SAT Solvers

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 366 KB

english, 2016

5

Analysis of the Synergistic Effect of Carbonylplatinum Complexes on the Iridium-Catalysed Carbonylation of Methanol to Acetic Acid

Samuel Gautron, Nicolas Lassauque, Carole Le Berre, Philippe Serp, Laurent Azam, Roberto Giordano, Gábor Laurenczy, Daniel Thiébaut, Philippe Kalck

Journal:

European Journal of Inorganic Chemistry

Year:

2006

Language:

english

File:

PDF, 53 KB

english, 2006

6

Weakening conflicting information for iterated revision and knowledge integration

Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 374 KB

english, 2004

7

Thick barium ferrite films use for passive isolators

Stéphane Capraro, Jean Pierre Chatelon, Martine Le Berre, Thomas Rouiller, Hélène Joisten, Daniel Barbier, Jean Jacques Rousseau

Journal:

physica status solidi (c)

Year:

2004

Language:

english

File:

PDF, 161 KB

english, 2004

8

Capraro, StÉphane, Rouiller, Thomas, Le Berre, Martine, Chatelon, Jean-Pierre, Bayard, Bernard, Barbier, Daniel, Rousseau, Jean Jacques

Journal:

IEEE Transactions on Components and Packaging Technologies

Year:

2007

Language:

english

File:

PDF, 815 KB

english, 2007

9

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages1

Coste-Marquis, Sylvie, Le Berre, Daniel, Letombe, Florian, Marquis, Pierre

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 387 KB

2006

10

Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms

Dubois, Didier, Berre, Daniel Le, Prade, Henri, Sabbadin, RÃ©gis

Journal:

Fundamenta Informaticae

Year:

1999

File:

PDF, 1.39 MB

1999

11

Exploiting the real power of unit propagation lookahead

Daniel Le Berre

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 998 KB

2001

12

The SAT2002 Competition

Laurent Simon, Daniel Le Berre, Edward A. Hirsch

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 257 KB

english, 2005

13

A Parsimony Tree for the SAT2002 Competition

Paul W. Purdom, Daniel Le Berre, Laurent Simon

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 237 KB

english, 2005

14

A parsimony tree for the SAT2002 competition

Paul W. Purdom, Daniel Le Berre, Laurent Simon

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 244 KB

english, 2005

15

The SAT2002 competition

Laurent Simon, Daniel Le Berre, Edward A. Hirsch

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 264 KB

english, 2005

16

Cooperative effect between iridium and platinum in the carbonylation of methanol to acetic acid

Samuel Gautron, Nicolas Lassauque, Carole Le Berre, Laurent Azam, Roberto Giordano, Philippe Serp, Gábor Laurenczy, Daniel Thiébaut, Philippe Kalck

Journal:

Topics in Catalysis

Year:

2006

Language:

english

File:

PDF, 324 KB

english, 2006

17

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Computing prime implicants

Deharbe, David, Fontaine, Pascal, Le Berre, Daniel, Mazure, Bertrand

Year:

2013

Language:

english

File:

PDF, 245 KB

english, 2013

18

Alertes biologiques : le laboratoire au secours du PMSI

Coatrieux, E., Daniel, S., Le Berre, M., Scheydeker, J.L., Cauvin, J.-M.

Journal:

Revue d'Épidémiologie et de Santé Publique

Year:

2008

Language:

french

File:

PDF, 137 KB

french, 2008

19

Promoting Role of [PtI 2 (CO)] 2 in the Iridium-Catalyzed Methanol Carbonylation to Acetic Acid and Its Interaction with Involved Iridium Species

Gautron, Samuel, Lassauque, Nicolas, Le Berre, Carole, Azam, Laurent, Giordano, Roberto, Serp, Philippe, Laurenczy, Gábor, Daran, Jean Claude, Duhayon, Carine, Thiébaut, Daniel, Kalck, Philippe

Journal:

Organometallics

Year:

2006

Language:

english

File:

PDF, 332 KB

english, 2006

20

Promoting Role of [PtI 2 (CO)] 2 in the Iridium-Catalyzed Methanol Carbonylation to Acetic Acid and Its Interaction with Involved Iridium Species

Gautron, Samuel, Lassauque, Nicolas, Le Berre, Carole, Azam, Laurent, Giordano, Roberto, Serp, Philippe, Laurenczy, Gábor, Daran, Jean Claude, Duhayon, Carine, Thiébaut, Daniel, Kalck, Philippe

Journal:

Organometallics

Year:

2007

File:

PDF, 3 KB

2007

21

How to Grow Unstrained 3C-SiC Heteroepitaxial Layers on Si (100) Substrates

Chassagne, Thierry, Ferro, Gabriel, Gourbeyre, C., Le Berre, M., Barbier, Daniel, Monteil, Yves

Journal:

Materials Science Forum

Year:

2001

File:

PDF, 296 KB

2001

22

Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells

Chabaud, Mélanie, Heuzé, Mélina L., Bretou, Marine, Vargas, Pablo, Maiuri, Paolo, Solanes, Paola, Maurin, Mathieu, Terriac, Emmanuel, Le Berre, Maël, Lankar, Danielle, Piolot, Tristan, Adelstein, Robe

Journal:

Nature Communications

Year:

2015

Language:

english

File:

PDF, 4.23 MB

english, 2015

23

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - Consistency checking for the evolution of cardinality-based feature models

Quinton, Clément, Pleuss, Andreas, Berre, Daniel Le, Duchien, Laurence, Botterweck, Goetz

Year:

2014

Language:

english

File:

PDF, 339 KB

english, 2014

24

[ACM Press the 6th International Workshop - Hyderabad, India (2014.05.31-2014.05.31)] Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014 - Automatic repair of buggy if conditions and missing preconditions with SMT

DeMarco, Favio, Xuan, Jifeng, Le Berre, Daniel, Monperrus, Martin

Year:

2014

Language:

english

File:

PDF, 386 KB

english, 2014

25

Corrigendum: Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells

Chabaud, Mélanie, Heuzé, Mélina L, Bretou, Marine, Vargas, Pablo, Maiuri, Paolo, Solanes, Paola, Maurin, Mathieu, Terriac, Emmanuel, Le Berre, Maël, Lankar, Danielle, Piolot, Tristan, Adelstein, Rober

Journal:

Nature Communications

Year:

2015

Language:

english

File:

PDF, 85 KB

english, 2015

26

[ACM Press the 1st international workshop - Amsterdam, The Netherlands (2009.08.24-2009.08.24)] Proceedings of the 1st international workshop on Open component ecosystems - IWOCE '09 - Dependency management for the eclipse ecosystem

Le Berre, Daniel, Rapicault, Pascal

Year:

2009

Language:

english

File:

PDF, 467 KB

english, 2009

27

Simulation of the Cold Spray Particle Deposition Process

Xie, Jing, Nélias, Daniel, Walter-Le Berre, Hélène, Ogawa, Kazuhiro, Ichikawa, Yuji

Journal:

Journal of Tribology

Year:

2015

Language:

english

File:

PDF, 4.19 MB

english, 2015

28

[ASME ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis - Nantes, France (Monday 2 July 2012)] Volume 1: Advanced Computational Mechanics; Advanced Simulation-Based Engineering Sciences; Virtual and Augmented Reality; Applied Solid Mechanics and Material Processing; Dynamical Systems and Control - Numerical Simulation of the Cold Spray Deposition Process for Aluminium and Copper

Xie, Jing, Nelias, Daniel, Walter-le Berre, Hélène, Ichikawa, Yuji, Ogawa, Kazuhiro

Year:

2012

Language:

english

File:

PDF, 1.32 MB

english, 2012

29

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

Xuan, Jifeng, Martinez, Matias, DeMarco, Favio, Clement, Maxime, Lamelas Marcote, Sebastian, Durieux, Thomas, Le Berre, Daniel, Monperrus, Martin

Journal:

IEEE Transactions on Software Engineering

Year:

2016

Language:

english

File:

PDF, 1.51 MB

english, 2016

30

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 ||

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 14.53 MB

english, 2016

31

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 729 KB

english, 2016

32

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 320 KB

english, 2016

33

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || LMHS: A SAT-IP Hybrid MaxSAT Solver

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 334 KB

english, 2016

34

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 175 KB

english, 2016

35

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 1.82 MB

english, 2016

36

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || Extreme Cases in SAT Problems

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 742 KB

english, 2016

37

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || 2QBF: Challenges and Solutions

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 621 KB

english, 2016

38

Automated metamorphic testing of variability analysis tools

Segura, Sergio, Durán, Amador, Sánchez, Ana B., Berre, Daniel Le, Lonca, Emmanuel, Ruiz-Cortés, Antonio

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 933 KB

english, 2015

39

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || Dependency Schemes for DQBF

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 619 KB

english, 2016

40

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2016 Volume 9710 || Improved Static Symmetry Breaking for SAT

Creignou, Nadia, Le Berre, Daniel

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

41

A missense mutation in PFAS (phosphoribosylformylglycinamidine synthase) is likely causal for embryonic lethality associated with the MH1 haplotype in Montbéliarde dairy cattle

Michot, Pauline, Fritz, Sébastien, Barbat, Anne, Boussaha, Mekki, Deloche, Marie-Christine, Grohs, Cécile, Hoze, Chris, Le Berre, Laurène, Le Bourhis, Daniel, Desnoes, Olivier, Salvetti, Pascal, Schib

Journal:

Journal of Dairy Science

Year:

2017

Language:

english

File:

PDF, 925 KB

english, 2017

42

Investigation of the in-plane and out-of-plane electrical properties of metallic nanoparticles in dielectric matrix thin films elaborated by atomic layer deposition

THOMAS, Daniel, Puyoo, Etienne, Le Berre, Martine, Militaru, Liviu, Koneti, Siddardha, Malchere, Annie, Epicier, Thierry, Roiban, Lucian, Albertini, David, Sabac, Andrei, Calmon, Francis

Journal:

Year:

2017

Language:

english

File:

PDF, 5.44 MB

english, 2017

43

Boolean-Based Dependency Management for the Eclipse Ecosystem

Le Berre, Daniel, Rapicault, Pascal

Journal:

International Journal of Artificial Intelligence Tools

Year:

2018

Language:

english

File:

PDF, 278 KB

english, 2018

44

The International SAT Solver Competitions

Järvisalo, Matti, Le Berre, Daniel, Roussel, Olivier, Simon, Laurent

Journal:

Year:

2012

Language:

english

File:

PDF, 119 KB

english, 2012

45

Decomposing SAT Problems into Connected Components

Biere, Armin, Sinz, Carsten, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 170 KB

2006

46

Locality and Hard SAT-Instances

MarkstrÃ¶m, Klas, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 132 KB

2006

47

Drastic Reduction of Turnaround Time After Implementation of a Fully Automated Assay for RAS-BRAF Mutations in Colorectal Cancer: A Pilot Prospective Study in Real-life Conditions

Rossat, StÃ©phane, Perrier, HervÃ©, Lefevre, Marine, Louvet, Christophe, Le Berre, Nathalie, Chamois, JÃ©rÃ´me, Dorel, Maryline, Vacque, Daniel, Guillaudeau, AngÃ©lique, Genet, Dominique, Maillet, Eve

Journal:

Pathology & Oncology Research

Year:

2020

File:

PDF, 410 KB

2020

48

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

HaanpÃ¤Ã¤, Harri, JÃ¤rvisalo, Matti, Kaski, Petteri, NiemelÃ¤, Ilkka, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 359 KB

2006

49

Preface to the Special Volume on the SAT 2005 Competitions and Evaluations

Le Berre, Daniel, Simon, Laurent, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 187 KB

2006

50

On Using Cutting Planes in Pseudo-Boolean Optimization

Manquinho, Vasco M., Marques-Silva, JoÃ£o, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 198 KB

2006